term rewriting system (TRS) A collection of {rewrite rules} used to transform terms (expressions, strings in some formal language) into equivalent terms. See reduction. (1994-11-04)
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.